In predicate logic "'universal instantiation "'( "'UI "', also called "'universal specification "'or "'universal elimination "', and sometimes confused with valid rule of inference from a truth about each member of a class of individuals to the truth about a particular individual of that class.